Proceedings of the ECAI 2006 Workshop on Configuration affiliated with the 17 th European Conference on Artificial Intelligence
نویسندگان
چکیده
We develop two heuristics for reducing the time andspace required to obtain a binary decision diagram representation ofthe solutions of a configuration problem. First, we show that dynam-ics of the growth in the size of the decision diagram depend stronglyon the order in which constraints are added and propose a heuristicconstraint ordering algorithm that uses the distinctive clustered hi-erarchical structure of constraints graphs of configuration problems.Second, we propose a variable order heuristic based on the typicalclustered structure of the constraint graph to be used by a variablesifting algorithm during the BDD construction procedure.
منابع مشابه
Proceedings of the ECAI 2006 Workshop on Recommender Systems in conjunction with the 17 th European Conference on Artificial Intelligence
Knowledge-based recommender technologies pro-vide a couple of mechanisms for improving the accessibility ofproduct assortments for customers, e.g., in situations whereno solution can be found for a given set of customer require-ments, the recommender application calculates a set of repairactions which can guarantee the identification of a solution.Further examples for su...
متن کاملThe First Workshop on Artificial Intelligence Techniques for Ambient Intelligence (AITAmI '06)
tivities and providing assistance when a potentially harmful situation arises, it can increase human performance by tracking tasks and making resources available in advance of demand, and it can increase comfort and enjoyment by automatically managing multiple parameters of the environment such as temperature, lighting, and music. Previous events have considered infrastructure for ambient intel...
متن کاملComputer Games Workshop at ECAI 2012
From August 29 to August 31, the European Conference on Artificial Intelligence was held in Montpellier, France. In the two days preceding, 44 workshops were additionally proposed. On the first day (Monday, August 27) the Computer Games Workshop was held, co-chaired by Tristan Cazenave, Jean Méhat and Mark Winands at Montpellier University. This workshop turned out to be the most popular one. A...
متن کاملVerification and validation of intelligent systems: Five years of aaai workshops
One of the longest sequences of ongoing workshops at the AAAI (American Association for Artificial Intelligence) meeting has been the “Workshop on Verification, Validation and Testing of Intelligent Systems” (“V&V workshop” or “workshop”). These workshops have been actively attended by a V&V researchers, tool developers, and practitioners. They have played an important role in facilitating comm...
متن کاملProceedings of the ECAI 2010 Workshop on
Characterization of configuration problems has remained limited. This work characterizes 26 configuration models with numerous indicators of size and degree of application of modeling mechanisms including inheritance and application of advanced compositional structure. The original goal of modeling was to evaluate and demonstrate the applicability of WeCoTin configurator and PCML modeling langu...
متن کامل